graph theory:disconnected graph